Issue2858-codata.agda:14,5-21
Could not find a matching data signature for constructor suc
There was no candidate.
